formal design description

[计] 形式设计描述